1. An introduction to independence for analysts
المؤلف: Dales, H. G.)Harold G.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
2. An introduction to independence for analysts
المؤلف: Dales, H. G.)Harold G.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
3. Constructible sets with applications
المؤلف: / A. Mostowski
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Axiomatic set theory,Model theory
رده :
512
.
817
Mo-C
4. Intuitionistic logic, model theory and forcing
المؤلف: Fitting, Melvin
المکتبة: (طهران)
موضوع: ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
5. Intuitionistic logic, modlel theory and forcing
المؤلف: / Melvin Chris Fitting
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Model theory,Axiomatic set theory
رده :
511
.
8
F547
6. Proper and improper forcing
المؤلف: Shelah, Saharon
المکتبة: (طهران)
موضوع: ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
9
.
7
.
S54
1998
7. Proper forcing
المؤلف: Shelah, Saharon.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
1
.
L4
v
.
940